The High Schooler Who Solved A Prime Number Theorem